1. Asynchronous sequential machine design and analysis
Author: / Richard F. Tinder
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
Classification :
E-BOOK

2. Automata, Languages and Programming :
Author: edited by Josep Diaz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Computers.

3. Logic machines and diagrams
پدیدآورنده : Gardner, Martin
موضوع : ، Logic machines,، Logic diagrams
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Logic machines and diagrams
Author:
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic machines,Logic diagrams
Classification :
BC
138
.
G3


5. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975


6. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.

7. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013


8. STACS 92 :
Author: A[lain] Finkel, M[atthias] Jantzen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.

9. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.

10. Synthesis of Finite State Machines
Author: by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.

11. Verilog HDL :
Author: by Joseph Cavanagh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
Classification :
TK7868
.
D5
B956
2007

